Formal specification at model-level of model-driven engineering using modelling techniques
- Creator: Jnanamurthy, H. K. , Henskens, Frans , Paul, David , Wallis, Mark
- Resource Type: journal article
- Date: 2021
Formal definition of feature models to support software product line evolutions
- Creator: Ye, Huilin , Zhang, Wendy
- Resource Type: conference paper
- Date: 2008